home *** CD-ROM | disk | FTP | other *** search
/ Freelog 117 / FreelogNo117-OctobreNovembre2013.iso / Programmation / jedit / jedit5.1.0install.exe / {app} / jars / QuickNotepad.jar / QuickNotepad.props < prev    next >
Text File  |  2012-05-31  |  2KB  |  72 lines
  1. # Properties file for QuickNotepad plugin
  2. # $Id$
  3.  
  4. # jEdit only needs to load the plugin the first time the user accesses it
  5. # the presence of this property also tells jEdit the plugin is using the new API
  6. plugin.QuickNotepadPlugin.activate=defer
  7.  
  8. # These two properties are required for all plugins
  9. plugin.QuickNotepadPlugin.name=QuickNotepad
  10. plugin.QuickNotepadPlugin.author=John Gellene
  11.  
  12. # Even if you don't store additional files, this is a good idea to set:
  13. plugin.QuickNotepadPlugin.usePluginHome=true
  14.  
  15. # version number == jEdit version number
  16. plugin.QuickNotepadPlugin.version=5.0
  17.  
  18. # online help
  19. plugin.QuickNotepadPlugin.docs=index.html
  20.  
  21. # List dependencies of plugins with .depend.N property suffix:
  22. plugin.QuickNotepadPlugin.depend.0=jdk 1.6
  23. # See jEdit.getBuild() to understand version numbering scheme.
  24. plugin.QuickNotepadPlugin.depend.1=jedit 05.00.01.00
  25.  
  26. plugin.QuickNotepadPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
  27. # plugin menu
  28. plugin.QuickNotepadPlugin.menu=quicknotepad \
  29.     - \
  30.     quicknotepad.choose-file \
  31.     quicknotepad.save-file \
  32.     quicknotepad.copy-to-buffer
  33.  
  34. # action labels for actions supplied by dockables.xml
  35. quicknotepad.label=QuickNotepad
  36.  
  37. # action labels for actions supplied by actions.xml
  38. quicknotepad.choose-file.label=Choose notepad file
  39. quicknotepad.save-file.label=Save notepad file
  40. quicknotepad.copy-to-buffer.label=Copy notepad to buffer
  41.  
  42. # plugin option pane
  43. plugin.QuickNotepadPlugin.option-pane=quicknotepad
  44.  
  45. # Option pane activation BeanShell snippet
  46. options.quicknotepad.code=new QuickNotepadOptionPane();
  47.  
  48. # Option pane labels
  49. options.quicknotepad.label=QuickNotepad
  50. options.quicknotepad.file=File:
  51. options.quicknotepad.choose-file=Choose
  52. options.quicknotepad.choose-file.title=Choose a notepad file
  53. options.quicknotepad.choose-font=Font:
  54. options.quicknotepad.show-filepath.title=Display notepad file path
  55.  
  56. # window title
  57. quicknotepad.title=QuickNotepad
  58.  
  59. # window toolbar buttons
  60. quicknotepad.choose-file.icon=Open.png
  61. quicknotepad.save-file.icon=Save.png
  62. quicknotepad.copy-to-buffer.icon=CopyToBuffer.png
  63.  
  64. # default settings
  65. options.quicknotepad.show-filepath=true
  66. options.quicknotepad.font=Monospaced
  67. options.quicknotepad.fontstyle=0
  68. options.quicknotepad.fontsize=14
  69.  
  70. # Setting not defined but supplied for completeness
  71. options.quicknotepad.filepath=
  72.